Представьте физическую систему — растущий долг, падающее тело или популяция исчезающих видов. Аналитика анатомия дифференциального уравнения первого порядка (ОДУ) — это математический мост, который позволяет предсказать будущее состояние этих систем. Он формализует связь между независимой переменной $t$, зависимой переменной $y$ и её мгновенной скоростью изменения.
1. Структурная классификация
В основе своего существования дифференциальное уравнение первого порядка связывает производную с переменными: $$\frac{dy}{dt} = f(t, y) \quad (1)$$ или в неявной форме $F(t, y) = 0$. Уравнения классифицируются по их «скелету»:
- Линейная анатомия: Уравнения, подобные $\frac{dy}{dt} = -ay + b$ (2), где функция линейна относительно $y$. Примечание: Поэтому термин «общее решение» мы будем использовать только при обсуждении линейных уравнений.
- Автономная анатомия: Когда скорость зависит исключительно от состояния, $dy/dt = f(y)$. Часто они имеют пороговый уровень (T): критический уровень популяции, ниже которого вид не может распространяться и исчезает.
- Точная анатомия: Проверяется условием $M_y(x, y) = N_x(x, y)$. Если это условие не выполняется, как в примере 3, то не существует функции $\psi(x, y)$, удовлетворяющей системе.
Шаг 1: Построение модели
Физические ситуации, такие как ПРИМЕР 4 | Скорость убегания (тело массой $m$, выброшенное с Земли), должны быть переведены на математический язык. Мы должны учитывать гравитацию и начальную скорость $v_0$.
Шаг 2: Устойчивость и существование
Мы опираемся на условие Липшица: $|f(t, y_1) - f(t, y_2)| \le K|y_1 - y_2|$ для гарантии существования и единственности решения. Без этого «анатомия» проблемы может быть нарушенной или многозначной.
2. Решения и визуализация
Любая дифференцируемая функция $y = \phi(t)$, удовлетворяющая уравнению для всех $t$ на некотором интервале, называется решением. Геометрически мы изображаем это как интегральную кривую. Для уравнений Бернулли мы используем подстановку $v = y^{1-n}$ для линеаризации анализа.
🎯 Критическое наблюдение: Метод Эйлера
В ПРИМЕРЕ 1 (баланс кредита $S(t)$ с 12% процентами), дискретные приближения методом Эйлера $y_{n+1} = y_n + f_n \cdot (t_{n+1} - t_n)$ часто превышают фактические непрерывные значения. Это происходит потому, что график решения является вогнутым вниз, что заставляет приближения по касательной находиться выше графика.
$\frac{dS}{dt} = rS - k \implies y_n = \rho^n y_0$